Wyniki
-
Completeness of an action logic for timed transition Systems
Fernando Naufel do Amaral, Edward Hermann Haeusler
Bulletin of the Section of Logic , 29 /4 (2000) s. 151-159
Fernando Naufel do Amaral,
Edward Hermann Haeusler
Bulletin of the Section of Logic
, 29
/4
(2000)
s. 151-159